142. An Introduction to Default Logic
Author: by Philippe Besnard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
Q335
.
B974
1989
143. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
149. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
150. Breaches of contracts and claims by third parties / Stephen Waddams -- Policy issues in defective property cases / Stephen Todd -- Defective structures and economic loss in the United States : law and policy / David F. Partlett -- Harm screening under negligence law / Israel Gilead -- Acts ,Notre Dame, Ind. :
Author: edited by Jason W. Neyers, Erika Chamberlain and Stephen G. A. Pitel. ,Alexandra Cuffel.
Library: Library of Islamic Parliament (Tehran)
Subject:
151. CAM :
Author: edited by D. Kochan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer-aided design.
Classification :
TS155
.
6
E358
1985
152. Cold war history
Author: edited by Frédéric Bozo ... [ et al.].
Library: Library of Islamic Parliament (Tehran)
Subject:
153. Computation, Logic, Philosophy :
Author: by Hao Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Mathematics.,Technology -- Philosophy.
154. Computational artifacts :
Author: Raymond Turner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
167
155. Computational matter /
Author: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
Classification :
QA76
156. Computational semantics with functional programming /
Author: Jan van Eijck and Christina Unger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
Classification :
QA76
.
7
.
E43
2010eb
157. Domain Theory, Logic and Computation :
Author: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2003
158. Domains and Processes :
Author: edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2001
159. Dynamic Worlds
Author: edited by Remo Pareschi, Bertram Fronhöfer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
160. Expanding museum studies : an introduction / Sharon Macdonald -- Cultural theory and museum studies / Rhiannon Mason -- Sociology and the social aspects of museums / Gordon Fyfe -- Art history and museology : rendering the visible legible / Donald Preziosi -- Museums and anthropologies : practices and narratives / Anthony Alan Shelton -- Collecting practices / Sharon Macdonald -- The conundrum of ephemerality : time, memory, and museums / Susan A. Crane -- The origins of the public museum / Jeffrey Abt -- World fairs and museums / Robert W. Rydell
Author: edited by Sharon Macdonald.
Library: Library of Islamic Parliament (Tehran)
Subject:
